Technology

Results: 829226



#Item
141Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli`

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli`

Add to Reading List

Source URL: julien.signoles.free.fr

Language: English - Date: 2017-08-11 12:58:04
142OUP CORRECTED PROOF – FINAL, , SPi  ENHANCED PUNISHMENT Can technology make life sentences longer?

OUP CORRECTED PROOF – FINAL, , SPi  ENHANCED PUNISHMENT Can technology make life sentences longer?

Add to Reading List

Source URL: rebeccaroache.weebly.com

Language: English - Date: 2018-09-09 19:16:59
143Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri

Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:29
144Detecting and Mitigating the Effect of Manipulated Reputation on Online Social Networks Anupama Aggarwal « supervised by Dr. Ponnurangam Kumaraguru » Indraprastha Institute of Information Technology, Delhi New Delhi, I

Detecting and Mitigating the Effect of Manipulated Reputation on Online Social Networks Anupama Aggarwal « supervised by Dr. Ponnurangam Kumaraguru » Indraprastha Institute of Information Technology, Delhi New Delhi, I

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 00:34:37
145 Digital manufacturing technology and convenient access to High Performance Computing (HPC) in industry R&D are essential to increase the quality of our products and the competitiveness of our companies. Progress can onl

Digital manufacturing technology and convenient access to High Performance Computing (HPC) in industry R&D are essential to increase the quality of our products and the competitiveness of our companies. Progress can onl

Add to Reading List

Source URL: www.cloudbroker.com

Language: English - Date: 2013-07-19 10:06:15
146Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla

Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla

Add to Reading List

Source URL: www.falkhowar.de

Language: English - Date: 2018-09-30 08:43:02
147Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden

Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden

Add to Reading List

Source URL: mpg.is

Language: English - Date: 2018-08-05 06:01:43
148The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

Add to Reading List

Source URL: www.cs.utexas.edu

Language: English - Date: 2017-08-06 02:05:36
149 ,�, Echosec ™ Using Geofencing Technology in Business Intelligence

,�, Echosec ™ Using Geofencing Technology in Business Intelligence

Add to Reading List

Source URL: info.echosec.net

Language: English - Date: 2018-07-09 17:58:43
150Task Scheduling and Trajectory Generation of Multiple Intelligent Vehicles Jennifer David Intelligent Systems Lab School of Information Technology Halmstad University

Task Scheduling and Trajectory Generation of Multiple Intelligent Vehicles Jennifer David Intelligent Systems Lab School of Information Technology Halmstad University

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:24